Designing an Interval Type-2 Fuzzy Logic System for Handling Uncertainty Effects in Brain–Computer Interface Classification of Motor Imagery Induced EEG Patterns

One of the urgent challenges in the automated analysis and interpretation of electrical brain activity is the effective handling of uncertainties associated with the complexity and variability of brain dynamics, reflected in the nonstationary nature of brain signals such as electroencephalogram (EEG). This poses a severe problem for existing approaches to the classification task within brain–computer interface (BCI) systems. Recently emerged type-2 fuzzy logic (T2FL) methodology has shown a remarkable potential in dealing with uncertain information given limited insight into the nature of the data generating mechanism. The objective of this work is thus to examine the applicability of T2FL approach to the problem of EEG pattern recognition. In particular, the focus is two-fold: i) the design methodology for the interval T2FL system (IT2FLS) that can robustly deal with inter-session as well as within-session manifestations of nonstationary spectral EEG correlates of motor imagery (MI), and ii) the comprehensive examination of the proposed fuzzy classifier in both off-line and on-line EEG classification case studies. The on-line evaluation of the IT2FLS-controlled real-time neurofeedback over multiple recording sessions holds special importance for EEG-based BCI technology. In addition, a retrospective comparative analysis accounting for other popular BCI classifiers such as linear discriminant analysis (LDA), kernel Fisher discriminant (KFD) and support vector machines (SVMs) as well as a conventional type-1 FLS (T1FLS), simulated off-line on the recorded EEGs, has demonstrated the enhanced potential of the proposed IT2FLS approach to robustly handle uncertainty effects in BCI classification

Numerical and experimental assessment of the modal curvature method for damage detection in plate structures

This paper is concerned with the use of numerically obtained modal curvatures for damage detection in both isotropic and composite laminated plates. Numerical simulations are carried out by using COMSOL Multiphysics as FEM solver of the governing equations, in which a Mindlin-Reissner plate model is assumed and defects are introduced as localized smoothed variations of the baseline (healthy) configuration. Experiments are also performed on steel and aluminum plates using scanning laser vibrometry. This study confirms that the central difference method greatly amplifies the measurement errors and its application leads to ineffective predictions for damage detection, even after denoising. As a consequence, different numerical techniques should be explored to allow the use of numerically obtained modal curvatures for structural health monitoring. Herein, the Savitzky-Golay filter (or least-square smoothing filter) is considered for the numerical differentiation of noisy data

Numerical and experimental assessment of the modal curvature method for damage detection in plate structures

Use of modal curvatures obtained from modal displacement data for damage detection in isotropic and composite laminated plates is addressed through numerical examples and experimental tests. Numerical simulations are carried out employing COMSOL Multiphysics as finite element solver of the equations governing the Mindlin-Reissner plate model. Damages are introduced as localized non-smooth variations of the bending stiffness of the baseline (healthy) configuration. Experiments are also performed on steel and aluminum plates using scanning laser vibrometry. The obtained results confirm that use of the central difference method to compute modal curvatures greatly amplifies the measurement errors and its application leads to unreliable predictions for damage detection, even after denoising. Therefore, specialized ad hoc numerical techniques must be suitably implemented to enable structural health monitoring via modal curvature changes. In this study, the Savitzky-Golay filter (also referred to as least-square smoothing filter) is considered for the numerical differentiation of noisy data. Numerical and experimental results show that this filter is effective for the reliable computation of modal curvature changes in plate structures due to defects and/or damages

Regular symmetry patterns

Symmetry reduction is a well-known approach for alleviating the state explosion problem in model checking. Automatically identifying symmetries in concurrent systems, however, is computationally expensive. We propose a symbolic framework for capturing symmetry patterns in parameterised systems (i.e. an infinite family of finite-state systems): two regular word transducers to represent, respectively, parameterised systems and symmetry patterns. The framework subsumes various types of "symmetry relations" ranging from weaker notions (e.g. simulation preorders) to the strongest notion (i.e. isomorphisms). Our framework enjoys two algorithmic properties: (1) symmetry verification: given a transducer, we can automatically check whether it is a symmetry pattern of a given system, and (2) symmetry synthesis: we can automatically generate a symmetry pattern for a given system in the form of a transducer. Furthermore, our symbolic language allows additional constraints that the symmetry patterns need to satisfy to be easily incorporated in the verification/synthesis. We show how these properties can help identify symmetry patterns in examples like dining philosopher protocols, self-stabilising protocols, and prioritised resource-allocator protocol. In some cases (e.g. Gries's coffee can problem), our technique automatically synthesises a safety-preserving finite approximant, which can then be verified for safety solely using a finite-state model checker.UPMAR

Hypermethylation of CpG islands in the mouse asparagine synthetase gene: relationship to asparaginase sensitivity in lymphoma cells. Partial methylation in normal cells

We have sequenced the promoter region of the murine asparagine synthetase gene and examined its methylation profile in the CpG islands of L-asparaginase-sensitive 6C3HED cells (asparagine auxotrophs) and resistant variants (prototrophs). In the former, complete methylation of the CpG island is correlated with failure of expression of mRNA: cells of the latter possess both methylated and unmethylated alleles, as do cells of the intrinsically asparagine-independent lines L1210 and EL4. A similar phenomenon was seen in normal splenic cells of adult mice. This was age related: no methylation was found in weanlings, but up to 45% of gene copies in animals 18 weeks or older were methylated. It was also tissue related, with methylation occurring rarely in liver cells. The relationship of these changes to oncogenesis is considered. http://www.bjcancer.com © 2001 Cancer Research Campaignhttp://www.bjcancer.co

Characterisation of the GRAF gene promoter and its methylation in patients with acute myeloid leukaemia and myelodysplastic syndrome

We report the isolation of the 5′ flanking region of GRAF (GTPase regulator associated with the focal adhesion kinase), previously described as a putative tumour suppressor gene of acute myelogenous leukaemia and myelodysplastic syndrome, and demonstrate its promoter activity in reporter gene assays. Two putative protein-binding sites are identified of which one was sensitive to CpG methylation. The suppressed GRAF expression could be restored in leukaemia cell lines by treatment with a demethylating agent and an inhibitor of histone deacetylases. In contrast to normal tissues, which tested negative for GRAF promoter methylation, 11 of 29 (38%) bone marrow samples from patients with acute myeloid leukaemia or myelodysplastic syndrome were positive

Genotypes and haplotypes of the methyl-CpG-binding domain 2 modify breast cancer risk dependent upon menopausal status

INTRODUCTION: MBD2, the gene encoding methyl-CpG-binding domain (MBD)2, is a major methylation related gene and functions as a transcriptional repressor that can specifically bind to the methylated regions of other genes. MBD2 may also mediate gene activation because of its potential DNA demethylase activity. The present case-control study investigated associations between two single nucleotide polymorphisms (SNPs) in the MBD2 gene and breast cancer risk. METHODS: DNA samples from 393 Caucasian patients with breast cancer (cases) and 436 matched control individuals, collected in a recently completed breast cancer case–control study conducted in Connecticut, were included in the study. Because no coding SNPs were found in the MBD2 gene, one SNP in the noncoding exon (rs1259938) and another in the intron 3 (rs609791) were genotyped. Odds ratios (ORs) with 95% confidence intervals (CIs) were calculated to estimate cancer risk associated with the variant genotypes and the reconstructed haplotypes. RESULTS: The variant genotypes at both SNP loci were significantly associated with reduced risk among premenopausal women (OR = 0.41 for rs1259938; OR = 0.54 for rs609791). Further haplotype analyses showed that the two rare haplotypes (A-C and A-G) were significantly associated with reduced breast cancer risk (OR = 0.40, 95% CI = 0.20–0.83 for A-C; OR = 0.47, 95% CI = 0.26–0.84 for A-G) in premenopausal women. No significant associations were detected in the postmenopausal women and the whole population. CONCLUSION: Our results demonstrate a role for the MBD2 gene in breast carcinogenesis in premenopausal women. These findings suggest that genetic variations in methylation related genes may potentially serve as a biomarker in risk estimates for breast cancer

Aberrant promoter methylation in human DAB2 interactive protein (hDAB2IP) gene in gastrointestinal tumour

The human DOC-2/DAB2 interactive protein (hDAB2IP) gene is a novel member of the Ras GTPase-activating family and has been demonstrated to be a tumour-suppressor gene inactivated by methylation in several cancers. In this study, we analysed the methylation and expression status of hDAB2IP in gastrointestinal tumours. The promoter region of hDAB2IP was divided into two regions (m2a and m2b) based on our previous report, and the methylation status was determined by bisulphite DNA sequencing in gastric cancer cell lines. The gene expression was semiquantified by real-time RT–PCR, and the results indicated that the m2b promoter region might be an authentic methylation-mediated key regulator of the gene expression. Based on the sequence data, we developed a methylation-specific PCR (MSP) for the m2a and m2b regions and applied it to the samples. Methylation-specific PCR revealed aberrant methylation in the m2a region in eight of 12 gastric cancer cell lines (67%), 16 of 35 gastric cancer tissues (46%) and 29 of 60 colorectal cancer tissues (48%), and in the m2b region in eight of 12 cell lines (67%), 15 of 35 gastric cancer tissues (43%) and 28 of 60 colorectal cancer tissues (47%). On the other hand, seven (12%) and 11 (19%) of 59 gastrointestinal nonmalignant mucosal specimens showed methylation in the m2a and m2b regions, respectively, suggesting that hDAB2IP methylation might play a causative role in carcinogenesis. The 5-aza-2′-deoxycytidine treatment restored the gene expression in the m2b-methylated cell lines, confirming that the methylation caused gene downregulation. We also examined the relationship between hDAB2IP methylation and the clinicopathological features in patients with primary tumours, and determined that methylation in the m2b region was associated with location of the tumour in the stomach. In summary, our results demonstrated that hDAB2IP methylation is frequently present in gastrointestinal tumours and that the resulting gene silencing plays an important role in gastrointestinal carcinogenesis